1. A Concise Introduction to Mathematical Logic
پدیدآورنده : by Wolfgang Rautenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic, Symbolic and mathematical.,Mathematics.
2. A Contrastive Lexico-semantic Study of Computer and Human Languages
پدیدآورنده : James, Oluwale Stephen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : English as a second language--ESL
3. A Contrastive Lexico-semantic Study of Computer and Human Languages
پدیدآورنده : James, Oluwale Stephen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : English as a second language--ESL
4. A first course in optimization theory /
پدیدآورنده : Rangarajan K. Sundaram
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Mathematical optimization,Programming (Mathematics),Mathematische Optimierung-- Theorie,Optimierung-- Lehrbuch
رده :
QA402
.
5
.
S837
1996
5. A first course in scientific computing symbolic, graphic, and numeric modeling using Maple, Java, Mathematica, and Fortran90
پدیدآورنده : Rubin H. Landau ; contributors, Robyn Wangberg ... ]et al.[.
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Science
رده :
Q
183
.
9
.
L36
2005
6. A primer on scientific programming with Python /
پدیدآورنده : Hans Petter Langtangen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Python (Computer program language),Computer programming-- software development.,Computers-- Computer Science.,Computers-- Data Processing.,Computers-- Programming-- General.,Mathematical physics.,Mathematical theory of computation.,Maths for scientists.,Python (Computer program language),Science-- Mathematical Physics.
رده :
QA76
.
73
.
P98
7. AI approaches to the complexity of legal systems :
پدیدآورنده : Ugo Pagallo, Monica Palmirani, Pompeu Casanovas, Giovanni Sartor, Serena Villata (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Information storage and retrieval systems-- Law, Congresses.,Law-- Methodology-- Automation, Congresses.,Artificial intelligence.,Artificial intelligence.,Computer programming-- software development.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- System Administration-- Storage & Retrieval.,Information retrieval.,Information storage and retrieval systems-- Law.,Law-- Methodology-- Automation.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
K213
8. Advanced concepts for intelligent vision systems :
پدیدآورنده : Jacques Blanc-Talon, David Helbert, Wilfried Philips, Dan Popescu, Paul Scheunders (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Computer vision, Congresses.,Artificial Intelligence.,Data Structures and Information Theory.,Image Processing and Computer Vision.,Information Systems and Communication Service.,Mathematics of Computing.,Software Engineering/Programming and Operating Systems.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computer networking & communications.,Computer vision.,Computers-- Computer Graphics.,Computers-- Data Processing.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Online Services-- General.,Computers-- Software Development & Engineering-- General.,Image processing.,Mathematical theory of computation.,Software Engineering.
رده :
TA1634
9. Advances in Intelligent Systems and Applications - Volume 2 Proceedings of the International Computer Symposium ICS 2012 Held at Hualien, Taiwan, December 12-14, 2012
پدیدآورنده : Jeng-Shyang Pan [aut]; Ching-Nung Yang [aut]; Chia-Chen Lin [aut]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Applied physical engineering,fuzzy logic,robots
10. Algebraic foundations in computer science :
پدیدآورنده : edited by Werner Kuich, George Rahonis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Mathematics.
رده :
QA76
.
9
.
M35
A44
2011
11. Algol-like Languages
پدیدآورنده : edited by Peter W. O'Hearn, Robert D. Tennent.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Mathematics.
12. An introduction to machine learning /
پدیدآورنده : Miroslav Kubat.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Big data.,Computational intelligence.,Data mining.,Machine learning.,Artificial intelligence.,Artificial intelligence.,Big data.,Business & Economics-- Industries-- Computer Industry.,Business mathematics & systems.,Computational intelligence.,Computer science.,Computers-- Database Management-- Data Mining.,Computers-- Intelligence (AI) & Semantics.,Data mining.,Data mining.
رده :
QA76
.
9
.
D343
K83
2017
13. Answer set programming /
پدیدآورنده : by Vladimir Lifschitz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Logic programming.,Artificial intelligence.,Logic programming.
رده :
QA76
.
63
14. Answer set solving in practice /
پدیدآورنده : Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub, University of Potsdam.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Declarative programming.,Logic programming.,Declarative programming.,Logic programming.,MATHEMATICS-- Algebra-- Elementary.
رده :
QA76
.
615
.
A58
2013eb
15. Applied Mathematics
پدیدآورنده : by Francis J. Murray.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Science (General).
16. Artificial Intelligence in Higher Education :
پدیدآورنده : by Vladimir Marik, Olga Stepankova, Zdenek Zdrahal.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
رده :
Q335
.
7
B985
1990
17. Artificial life and evolutionary computation :
پدیدآورنده : edited by Marcello Pelillo, Irene Poli, Andrea Roli, Roberto Serra, Debora Slanzi, Marco Villani.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Evolutionary computation, Congresses.,Self-organizing systems, Congresses.,Algorithms & data structures.,Artificial intelligence.,Artificial life.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Evolutionary computation.,Mathematical theory of computation.,Mathematics-- Logic.,Self-organizing systems.
رده :
Q325
.
W58
2017
18. Automated Deduction - A Basis for Applications
پدیدآورنده : edited by Wolfgang Bibel, Peter H. Schmitt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
19. Automated Theory Formation in Pure Mathematics
پدیدآورنده : by Simon Colton.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
رده :
QA8
.
4
B975
2002
20. Automated deduction - A Basis for applications
پدیدآورنده : edited by wolfgang Bibel, Peter H. Schmitt
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Logic programming,، Logic )mathematics(
رده :
QA
76
.
63
.
A8
L6
